Revision: dfsbuild--head--0.5--patch-51
Archive: jgoerzen@complete.org--projects
Creator: John Goerzen <jgoerzen@complete.org>
Date: Fri May 28 10:10:03 CDT 2004
Standard-date: 2004-05-28 15:10:03 GMT
Modified-files: ChangeLog configfiles.ml dfsbuild.ml
    mirror.ml
New-patches: jgoerzen@complete.org--projects/dfsbuild--head--0.5--patch-51
Summary: Fixed a bug with calling has_option
Keywords: 

